⚡ SMT Applications

Z3 Integration, Constraint Programming, Verification Workflows, Decision Procedures

From Prototype to Production: How to Engineer Reliable LLM Systems
dev.to·8h·
Discuss: DEV
💻Local LLMs
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·11h·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
Show HN: Mamba2-Jax; Mamba2 implemented in pure Jax/Flax
github.com·16h·
Discuss: Hacker News
💧Liquid Types
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.com·19h·
Discuss: Substack
💻Programming languages
Flag this post
What To Know Before Building Fluent Bit Plugins With Go
thenewstack.io·1d
💧Liquid Types
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·20h·
Discuss: Substack
🔩Systems Programming
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·5h
🌀Brotli Internals
Flag this post
My Home Lab setup and what to do next with blackfriday??
reddit.com·1d·
Discuss: r/homelab
🖥Home Lab Setup
Flag this post
It's LIT! Reliability-Optimized LLMs with Inspectable Tools
arxiv.org·3d
🌀Brotli Internals
Flag this post
How Do We Effectively Communicate Architecture?
blog.scottlogic.com·2d
📟CLI Design
Flag this post
Building a Durable Execution Engine With SQLite
morling.dev·2d·
Discuss: Lobsters, Hacker News, r/programming
💾Persistence Strategies
Flag this post
Rethinking C++: Architecture, Concepts, and Responsibility
blogs.embarcadero.com·3d·
Discuss: Hacker News
🛠Language Design
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
pseudorun.tech·12h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Type-safe `net/rpc` alternative with context support
reddit.com·9h·
Discuss: r/golang
⚡gRPC
Flag this post
How Wipro PARI accelerates PLC code generation using Amazon Bedrock
aws.amazon.com·1d
⚙️PL Implementation
Flag this post
New Al Zimmermann's Programming Contests: Powerful Sums
azspcs.com·9h·
Discuss: Hacker News
🧮SMT Solvers
Flag this post
Automated Accelerated Life Testing Protocol Optimization via Bayesian Hyperparameter Tuning
dev.to·19h·
Discuss: DEV
👁️System Observability
Flag this post
Beyond the Hype: How to Use AI to Actually Increase Your Productivity as a Dev
docker.com·1d
⚡Proof Automation
Flag this post
Auditing JDBC Drivers at Scale with AI led to 85000 bounty
hacktron.ai·1d·
Discuss: Hacker News
🚀Indie Hacking
Flag this post